K($P$)@$e$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$${\it e'}$:PossibleEvent(${\it poss}$). ($R$($e$,${\it e'}$)) $\Rightarrow$ ($P$(${\it e'}$))